Frank Mitchell Redington

McQuatt Fraser Mitchell

This document gives brief descriptions for a number of Machine Discovery and Knowledge Based Refinement Systems which have recently been developed. Further, it gives an indication of their application domains. The systems described are: DaViCAND, MedMine, REFINER+, RETAX, STALKER and TIGON. Principal Contact: Professor Derek Sleeman Phone: +44(0)1224 272288 Fax: +44(0)1224 273422 email: dsleema...

MICROPROCESSOR SYSTEMS Mitchell

Obituary: Mitchell P. Fink

Fig. 1 Mitchell P. Fink Mitchell P. Fink, MD (Fig. 1), one of the most inspiring and influential leaders in the field of intensive care medicine, died at 66 years of age on 17 November 2015 after being diagnosed this summer with an aggressive sarcoma. This devastating news has left many of us with a huge sense of loss and sadness. Mitch graduated from the Washington University School of Medicin...

A general Mitchell style iteration

We work out the details of a schema for a mixed support forcing iteration, which generalizes the Mitchell model [7] with no Aronszajn trees on

Frank Mittelbach

[Background of this unusual double interview: the Free Software Magazine (http:// www.freesoftwaremagazine.com) and the TEX Users Group (TUG) both like to publish interviews. By chance, Gianluca Pignalberi of FSM and Dave Walden of TUG both approached Frank Mittelbach about interviewing him around the same time. Rather than doing two separate interviews, Mittelbach, Pignalberi, and Walden decid...